Mẫu hình con Lập trình khai báo

Lập trình khai báo là một thuật ngữ chung (umbrella term) bao gồm một số mẫu hình lập trình nổi tiếng hơn.

Lập trình ràng buộc

Lập trình ràng buộc mô tả mối quan hệ giữa các biến dưới dạng các ràng buộc để chỉ ra thuộc tính của giải pháp đích. The set of constraints is solved by giving a value to each variable so that the solution is consistent with the maximum number of constraints. Constraint programming often complements other paradigms: functional, logical, or even imperative programming.

Ngôn ngữ miền chuyên biệt

Các ví dụ nổi tiếng về Ngôn ngữ miền chuyên biệt (domain-specific language, hay DSL) bao gồm yacc, QML, Make, Puppet, biểu thức chính quy, và một tập con của SQL (như câu lệnh truy vấn SELECT).

Ngôn ngữ lai

Lập trình logic

Ngôn ngữ lập trình logic như Prolog mô tả và truy vấn các quan hệ.

Liên quan

Tài liệu tham khảo

WikiPedia: Lập trình khai báo http://www.cse.unsw.edu.au/~pls/damp09/ http://catalogo.bne.es/uhtbin/authoritybrowse.cgi?... http://catalogue.bnf.fr/ark:/12148/cb123495726 http://data.bnf.fr/ark:/12148/cb123495726 http://id.loc.gov/authorities/subjects/sh93000071 http://d-nb.info/gnd/4293503-9 http://foldoc.org/declarative%20language http://www.cs.chalmers.se/~oloft/Papers/wm96/wm96.... http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/... https://existentialtype.wordpress.com/2013/07/18/w...